首页> 外文OA文献 >lolliCoP - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic

【2h】

lolliCoP - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic

机译：lolliCoP-一阶经典逻辑的精益连接方法定理证明的线性逻辑实现

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Joshua S. Hodas; Naoyuki Tamura;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic [J] . Kortik Sitar, Saranli Uluc Journal of Intelligent & Robotic Systems: Theory & Application . 2019,第2期

机译：机器人任务规划，使用乘法指数一阶线性逻辑的乘法定理报告
2. Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic [J] . Karim Nour, Christophe Raffalli Theoretical computer science . 2003,第1a3期

机译：通过简化为一阶单分类逻辑，简单证明二阶古典和直觉逻辑的完备性定理
3. Theorem proving for classical logic with partial functions by reduction to Kleene logic [J] . de Nivelle Hans Journal of logic and computation . 2017,第2期

机译：通过简化为Kleene逻辑证明具有部分函数的古典逻辑的定理
4. αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic [C] . Joseph P. Near, William E. Byrd, Daniel P. Friedman Logic programming . 2008

机译：αleanTAP：一阶古典逻辑的说明性定理证明
5. Automated theorem proving by translation to description logic. [D] . Arhami, Negin. 2015

机译：通过翻译成描述逻辑来自动证明定理。
6. A novel reversible logic gate and its systematic approach to implement cost-efficient arithmetic logic circuits using QCA [O] . Peer Zahoor Ahmad, S.M.K. Quadri, Firdous Ahmad, 2017

机译：一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
7. A Focusing Inverse Method Theorem Prover for First-Order Linear Logic [O] . Chaudhuri Kaustuv, Pfenning Frank 2005

机译：一阶线性逻辑的聚焦逆方法定理证明
8. Implementation of a Matrix Theorem Prover for Propositional Modal Logic [R] . Bisacchicoelho, O. 1990

机译：命题模态逻辑的矩阵定理证明器的实现

lolliCoP - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic

著录项

引文网络

相似文献

相关主题

期刊订阅